Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
121	Network Bucket Testing Lars Backstrom Jon Kleinberg∗ Facebook, Inc. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-01-17 15:16:52 Network flow Statistical inference Data analysis Probability theory Variance Random walk Randomized algorithm Flow network Estimator Statistics Probability and statistics Mathematical sciences
122	ACKNOWLEDGMENTS I would like to convey my heartfelt gratitude to my supervisor, Associate Professor Khairuddin bin Haji Itam for his constant guidance, advice and helpful discussion and also to Prof Madya Dr Umi Kalsom b Add to Reading List Source URL: dspace.fsktm.um.edu.my Language: English - Date: 2009-12-03 02:35:28 Information science Information systems Systems analysis Database theory Diagram Infographics FileMaker Data flow diagram Database Software Computing Database management systems
123	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
124	LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-04-28 11:37:29 Linked list Heap Variable Compiler optimization Graph Data-flow analysis Call stack Tree Mathematics Software engineering Computing
125	LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-04-28 11:37:29 Linked list Heap Variable Compiler optimization Graph Data-flow analysis Call stack Tree Mathematics Software engineering Computing
126	ZEMA For Risk Managers Risk Managers rely heavily on data and internal analysis to develop reliable strategies and calculate profit and loss. Many risk management systems are built in fragile, static, and restrictive sp Add to Reading List Source URL: www.ze.com Language: English - Date: 2015-01-30 15:07:50 Risk management information systems Microsoft Excel Spreadsheet Flow Computing Software Information systems Project management software
127	New Algorithms for Computing Phylogenetic Biodiversity Constantinos Tsirogiannis1 , Brody Sandel1 , and Adrija Kalvisa2 1 MADALGO? and Department of Bioscience Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2015-04-22 04:53:31 Graph theory Probability theory Variance Algorithm B-tree Tango tree Push-relabel maximum flow algorithm Mathematics Statistics Data analysis
128	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-11-22 06:53:34 Compiler optimizations Control flow Compiler construction Static single assignment form Model theory GNU Compiler Collection Representation theory For loop Data-flow analysis Computing Software engineering Software
129	A Study of “Wheat” and “Chaff” in Source Code Martin Velez∗ ∗ Dong Qiu† Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-02-05 20:50:19 Data types Object-oriented programming Java programming language Lexicon Linguistics Vocabulary Lexical analysis This Control flow Software engineering Computing Computer programming
130	On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-12-20 23:04:53 Mathematics Reachability Separable space FO Live variable analysis Applied mathematics Theoretical computer science Data-flow analysis Pointer

UPDATE